On Formalism Freeness : Implementing Gödel's 1946 Princeton Bicentennial Lecture

Peer reviewe

Review of Floyd and Mühlhölzer on Wittgenstein's Annotations to Hardy : Juliet Floyd* and Felix Mühlhölzer.**Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers

Peer reviewe

The autonomy of mathematical knowledge: Hilbert's program revisited

A book review.Non peer reviewe

Gödel and the Integrated Self, or : On the Philosopher's Second Sailing

This article considers Godel's remarks on Plato's dialogueEuthyphro, which he made in conversation with the proof theorist Sue Toledo in the years 1972-1975.Peer reviewe

Women in Mathematics : Celebrating the Centennial of the Mathematical Association of America

Non peer reviewe

Three Moments in the Life of the Mathematical Diagram : Notes on the Syntax and Semantics Distinction

Peer reviewe

Gödel, Turing and the Iconic/Performative Axis

1936 was a watershed year for computability. Debates among Gödel, Church and others over the correct analysis of the intuitive concept “human effectively computable”, an analysis at the heart of the Incompleteness Theorems, the Entscheidungsproblem, the question of what a finite computation is, and most urgently—for Gödel—the generality of the Incompleteness Theorems, were definitively set to rest with the appearance, in that year, of the Turing Machine. The question I explore here is, do the mathematical facts exhaust what is to be said about the thinking behind the “confluence of ideas in 1936”? I will argue for a cultural role in Gödel’s, and, by extension, the larger logical community’s absorption of Turing’s 1936 model. As scaffolding I employ a conceptual framework due to the critic Leo Marx of the technological sublime; I also make use of the distinction within the technological sublime due to Caroline Jones, between its iconic and performative modes—a distinction operating within the conceptual art of the 1960s, but serving the history of computability equally well